-
1 узкое исчисление предикатов
Большой англо-русский и русско-английский словарь > узкое исчисление предикатов
-
2 узкое исчисление предикатов
Математика: УИПУниверсальный англо-русский словарь > узкое исчисление предикатов
-
3 restricted predicate calculus
English-russian biological dictionary > restricted predicate calculus
-
4 restricted predicate calculus
English-Russian information technology > restricted predicate calculus
-
5 calculus
исчисление
– Boolean calculus
– calculus of probability
– calculus of variations
– differential calculus
– extended calculus
– functional calculus
– infinitesimal calculus
– integral calculus
– logical calculus
– matrix calculus
– operational calculus
– predicate calculus
– problem calculus
– propositional calculus
– sentential calculus
– spinor calculus
– tensor calculus
– vector calculus
one-place predicate calculus — исчисление одноместных предикатов
-
6 predicative calculus
-
7 higher predicate calculus
The English-Russian dictionary general scientific > higher predicate calculus
-
8 predicate calculus
The English-Russian dictionary general scientific > predicate calculus
-
9 several-sorted predicate calculus
The English-Russian dictionary general scientific > several-sorted predicate calculus
-
10 calculus
-
11 sentential calculus
English-Russian big medical dictionary > sentential calculus
-
12 problem calculus
The English-Russian dictionary general scientific > problem calculus
-
13 restricted predicate calculus
The English-Russian dictionary general scientific > restricted predicate calculus
-
14 sentential calculus
The English-Russian dictionary general scientific > sentential calculus
-
15 calculus
calculus исчислениеextended propositional calculus расширенное пропозициональное исчислениеfunctional calculus функциональное исчислениеmany-valued propositional calculus многозначное пропозициональное исчислениеpredicate calculus исчисление предикатовpropositional calculus пропозициональное исчислениеrestricted predicate calculus узкое исчисление предикатовEnglish-Russian dictionary of biology and biotechnology > calculus
-
16 calculus
1. n мат. исчисление2. n калькуляция3. n мед. камень -
17 propositional calculus
пропозициональное исчисление; исчисление высказываний -
18 predicate
1) предикат
2) сказуемое
3) предикатный
4) утверждать
– predicate calculus
– predicate logic
– resolvable predicate
one-place predicate calculus — исчисление одноместных предикатов
-
19 differential calculus
-
20 index calculus
- 1
- 2
См. также в других словарях:
УЗКОЕ ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — см. Предикатов исчисление … Математическая энциклопедия
ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… … Философская энциклопедия
Парадокс — (от греч. parádoxes неожиданный, странный) неожиданное, непривычное (хотя бы по форме) суждение (высказывание, предложение), резко расходящееся с общепринятым, традиционным мнением по данному вопросу. В этом смысле эпитет «парадоксальный» … Большая советская энциклопедия
Формализация — представление какой либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы (См. Формальная система), или исчисления (См. Исчисление). Ф., осуществляемая … Большая советская энциклопедия
Номинализм — (лат. nominalis относящийся к именам, именной, от nomen имя) философское учение, согласно которому имена свойств, классов и отношений не являются собственными именами, т.е. именами отдельных единичных «сущностей» реальных или идеальных, а … Большая советская энциклопедия
НОМИНАЛИЗМ — (от лат. nomen имя, название) филос. учение, отрицающее онтологическое значение универсалий (общих понятий), т.е. утверждающее, что универсалии существуют не в действительности, а только в мышлении. В Средние века Н. был одним из течений… … Философская энциклопедия
Номинализм — (лат. nominalis относящийся к именам, именной, от nomen имя) философское учение, согласно которому названия таких понятий, как «животное», «эмоция» это не собственные имена цельных сущностей, а общие имена… … Википедия
Номиналисты — Номинализм (лат. nominalis относящийся к именам, именной, от nomen имя) философское учение, согласно которому имена свойств, классов и отношений не являются собственными именами, то есть именами отдельных единичных «сущностей» реальных или… … Википедия
ОТРИЦАНИЕ — филос. категория, выражающая опре дел. тип отношения между двумя последоват. стадиями, состояниями развивающегося объекта. О. является необходимым моментом процесса развития. Диалектика в «...позитивное понимание существующего... включает … Философская энциклопедия